decision model and notation